<?php
/*
function formatCurrency($valor) {
	return "R$ " . number_format($valor,2,",","");
}
*/

?>